<?
if (logged_in()) {
	echo '<div id="header">Eingeloggt als <b>'.$_SESSION['username'].'</b> <a href="./changepassword.php" target="_self">Passwort &auml;ndern</a> in der Rolle <i>'.$_SESSION['role']."</i>.";
	echo '&nbsp;<a href="logout.php">Ausloggen</a></div>';
} else {
	if (isset($_GET['id'])){
		echo '<div id="header">Nicht eingeloggt. <a href="index.php?id='.$_GET['id'].'">Hier</a> nachholen!</div>';
	} else {
		echo '<div id="header">Nicht eingeloggt. <a href="index.php">Hier</a> nachholen!</div>';
	}

}

include "menu.php";

?>